Publications of Celia MARTINIE DE ALMEIDA
Celia Martinie De Almeida, David Navarre, Philippe Palanque
A Multi-Formalism Approach for Model-Based Dynamic Distribution of User Interfaces of Critical Interactive Systems
In : International Journal of Human-Computer Studies, Elsevier, Vol. 2013.08, (on line), September 2013.
URL : http://dx.doi.org/10.1016/j.ijhcs.2013.08.013 – https://oatao.univ-toulouse.fr/12676/
BibTeXDavid Navarre, Philippe Palanque, Eric Barboni, Jean-François Ladry, Celia Martinie De Almeida
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach
In : Elsevier’s Safety Science, Elsevier, Special issue Reliability Engineering and System Safety, Vol. 96, pp. 38-52, January 2011.
Celia Martinie De Almeida, Philippe Palanque
Predicting and Mitigating Human Error Through Detailed Descriptions of Operators’ Tasks
In : HUDEP, Oberpfaffenhofen, Allemagne, 13/11/13-14/11/13.
URL : http://www.congrexprojects.com/2013-events/13m19/hudep-2013
BibTeXCelia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Sara Silvagni, Mark-Alexander Sujan, Eric Rigaud, Erik Hollnagel
Modelling of Automation Degradation: a Case Study (regular paper)
In : SESAR Innovation Days, Stockholm, Suède, 26/11/13-28/11/13, SESAR Work Package E, (on line), November 2013.
URL : http://www.sesarinnovationdays.eu/ – https://oatao.univ-toulouse.fr/12807/
BibTeXGuillaume Brat, Celia Martinie De Almeida, Philippe Palanque
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog (regular paper)
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2013), Las Vegas, Nevada, Etats-Unis, 21/07/13-26/07/13, Springer, LNCS, pp. 290-299, July 2013.
Celia Martinie De Almeida, Philippe Palanque, Martina Ragosta, Racim Mehdi Fahssi
Extending Procedural Task Models by Explicit and Systematic Integration of Objects, Knowledge and Information (regular paper)
In : European Conference on Cognitive Ergonomics (ECCE 2013), Toulouse, France, 26/08/13-28/08/13, ACM : Association for Computing Machinery, ECCE ’13 23, pp. 1-10, October 2013.
URL : http://doi.acm.org/10.1145/2501907.2501954 – https://oatao.univ-toulouse.fr/12675/
BibTeXJosé Luis Silva, Camille Fayollas, Arnaud Hamon, Philippe Palanque, Celia Martinie De Almeida, Eric Barboni
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification (regular paper)
In : International Workshop on Formal Methods for Interactive Systems (FMIS 2013), London, 24/06/13, Electronic Communications of the EASST, (electronic medium), June 2013.
Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Mark-Alexander Sujan, David Navarre
Understanding functional resonance through a federation of models: preliminary findings of an avionics case study (regular paper)
In : International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Toulouse, France, 24/09/13-27/09/13, Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (Eds.), Springer-Verlag, pp. 216-227, September 2013.
URL : http://dx.doi.org/10.1007/978-3-642-40793-2_20 – https://oatao.univ-toulouse.fr/12647/
BibTeXDavid Navarre, Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta
Model-based dynamic distribution of user interfaces of critical interactive systems (regular paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2013), Naples, Italy, 28/05/13-30/05/13, ACM : Association for Computing Machinery, pp. 66-75, 2013.
Michel Galindo, Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, Peter Forbrig
Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects (regular paper)
In : HCI International, LAS VEGAS Nevada USA, 21/07/13-26/07/13, Vol. Lecture Notes Computer Sc 8004, Kurosu Masaaki (Eds.), Springer USA, Human-Centred Design Approaches, Methods, Tools, and Environments ISBN 978-3-642-39231-3, pp. 51-60, August 2013.
Eric Rigaud, Erik Hollnagel, Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Sara Silvagni, Mark-Alexander Sujan
A framework for modeling the consequences of the propagation of automation degradation: application to air traffic control systems (regular paper)
In : SESAR Innovation Days, Braunschweig, 27/11/12-29/11/12, Eurocontrol, (on line), December 2012.
Philippe Palanque, Regina Bernhaupt, Celia Martinie De Almeida
Designing and Engineering Interactive Critical Systems Using Contributions from Gaming Research and Practice (short paper)
In : Workshop on Safety-Critical Systems and Video Games: Contradictions and Commonalities. In conjunction with 4th International Conference on Fun and Games (Fun&Games2012), Toulouse, 04/09/12-06/09/12, ACM Digital Library, (on line), September 2012.
URL : dl.acm.org
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni, Marco Antonio Winckler
Un processus de développement outillé pour l’exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches. (regular paper)
In : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2012), Biarritz, 17/10/12-19/10/12, ACM Digital Library, (on line), October 2012.
URL : http://dl.acm.org/
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni, Erwann Poupart
Systematic Approaches to Training Encompassing Operators mission and Interaction Techniques (short paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2012), Brussels, 12/09/12-14/09/12, ACM Digital Library, (on line), September 2012.
URL : http://dl.acm.org/
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments (regular paper)
In : Human-Centered Software Engineering (HCSE 2012), Toulouse, 29/10/12-31/10/12, Winckler Marco, Forbrig Peter , Bernhaupt Regina (Eds.), Springer, LNCS 7623, pp. 112-134, October 2012.
Llúcia Masip, Celia Martinie De Almeida, Marco Antonio Winckler, Philippe Palanque, Toni Granollers , Marta Oliva
A Design Process for Exhibiting Design Choices and Trade-offs in (potentially) Conflicting User Interface Guidelines (regular paper)
In : Human-Centered Software Engineering (HCSE 2012), Toulouse, France, 29/10/12-31/10/12, Marco Winckler, Peter Forbrig, Regina Bernhaupt (Eds.), Springer, LNCS 7623, pp. 53-71, October 2012.
Arnaud Hamon, Philippe Palanque, David Navarre, Celia Martinie De Almeida, Adrienne Tankeu Choitat, Eric Barboni
Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism (regular paper)
In : European Congress on Embedded Real-Time Software (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, ERTS : Embedded Real Time Sofware and Systems, (electronic medium), February 2012.
Celia Martinie De Almeida, Philippe Palanque, Martina Ragosta
Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems (regular paper)
In : ACM International Conference on Human Factors in Computer Science (Workshop on End-user Interactions with Intelligent and Autonomous Systems), Austin, Texas, 05/05/12-10/05/12, ACM Digital Library, pp. 25-30, 2012.
Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Eric Rigaud, Sara Silvagni
Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems’ Variability (regular paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2012), London, UK, 28/05/12-31/05/12, ACM Digital Library, (electronic medium), 2012.
Celia Martinie De Almeida, Philippe Palanque, David Navarre, Erwann Poupart
A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satellite (regular paper)
In : International Conference on Space Operations (SpaceOps 2012), Stockholm, Sweden, 11/06/12-15/06/12, American Institute of Aeronautics and Astronautics (AIAA), (electronic medium), 2012.
Celia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni
A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors (regular paper)
In : Safety and Reliability for managing Risk (ESREL 2012), Helsinki, Finland, 25/06/12-29/06/12, Taylor & Francis Group, pp. 25-36, 2012.
Philippe Palanque, Cédric Bach, Celia Martinie De Almeida, Marco Antonio Winckler
Pourquoi et comment exploiter la modélisation des tâches opérateurs dans les systèmes critiques: Application à la déclaration dincidents et à lopération des systèmes de commande et contrôles
In : Journée scientifique RTRA – FHAE (Facteurs Humains pour la Sécurité Aéronautique), Toulouse, 13/03/12-13/03/12.
Erik Hollnagel, Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Eric Rigaud, Sara Silvagni
System Performances under Automation Degradation (SPAD) (regular paper)
In : The First SESAR Innovation Days, Toulouse, France, 29/11/11-01/12/11, SESAR Work Package E, (on line), 2012.
Abstract URL : http://sesarinnovationdays.eu/files/SIDs/SID%202011-SPAD.pdf
BibTeXEric Barboni, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Marco Antonio Winckler
UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems (regular paper)
In : IFIP WG 2.7/13.4 Workshop on User Interface Description Languages (UIDL 2011), Lisbonne, Portugal, 06/09/11-06/09/11, Adrien Coyette, David Faure, Juan Gonzalez, Jean Vanderdonckt (Eds.), Thales Research and Technology, (electronic medium), 2011.
Celia Martinie De Almeida, Philippe Palanque
A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches
In : IFIP WG 2.7/13.4 Workshop on Combining Models and Design for interactive systems (ComDeisMoto 2011), Lisbonne, Portugal, 06/09/11-06/09/11.
Philippe Palanque, Celia Martinie De Almeida
Contextual Help for Supporting Critical Systems’ Operators: Application to Space Ground Segments
In : Workshop on Activity Context Representation, San Francisco, 07/08/11-08/08/11.
A Model-Based and Systematic Approach to Design and Assess the Level of Automation of Large Interactive Critical Systems (student paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelone, 26/05/11-27/05/11, IRIT Press, (electronic medium), 2011.
Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Martina Ragosta
Task-Model Based Assessment of Automation Levels: Application to Space Ground Segments (regular paper)
In : IEEE International Conference on Systems, Man and Cybernetics, Anchorage, 09/10/11-12/10/11, IEEE Computer Society – Conference Publishing Services, pp. 3267-3273, October 2011.
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models (regular paper)
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2011), Lisboa, 05/09/11-09/09/11, Springer-Verlag, pp. 134-152, 2011.
Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Marco Antonio Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi
Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs (regular paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelone, 26/05/11-27/05/11, IRIT Press, (electronic medium), 2011.
Philippe Palanque, Eric Barboni, Celia Martinie De Almeida, David Navarre, Marco Antonio Winckler
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2011), Pise, Italie, 13/06/11-16/06/11, ACM Press, pp. 21-30, 2011.
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, David Navarre, Erwann Poupart
Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2011), Pise, Italie, 13/06/11-16/06/11, Springer-Verlag, pp. 589-609, June 2011.
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, Stéphane Conversy
DREAMER: a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements (regular paper)
In : ACM International Conference on Design of Communication (ACM SIGDOC 2010), Sao Paulo, Brésil, 26/09/10-29/09/10, Junia C. Anacleto, Renata Fortes M. Pontin, Carlos J. Costa (Eds.), ACM : Association for Computing Machinery, pp. 73-80, September 2010.
Celia Martinie De Almeida, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Antonio Winckler
Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an intensive Model-Based Development Approach (regular paper)
In : Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Atlanta Georgia USA, 10/04/10, Vol. 617, Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann, Gerrit Meixner (Eds.), CEUR-WS : Workshop proceedings, pp. 29-32, July 2010.
Abstract URL : http://ceur-ws.org/Vol-617/MDDAUI2010_Paper08.pdf
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Marco Antonio Winckler
A formal approach supporting effective and efficient training program for improving operators reliability (regular paper)
In : Safety and Reliability for managing Risk (ESREL 2010), Rhodes Grece, 05/09/10-09/09/10, Taylor & Francis Group, pp. 234-243, 2010.
Philippe Palanque, Marco Antonio Winckler, Celia Martinie De Almeida
A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces
In : Model-Driven Development of Advanced User Interfaces. Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke (Eds.) , Springer, pp. 143-170, Vol. Vol. 340, Studies in Computational Intelligence, 2011.
URL : http://www.springer.com/computer/swe/book/978-3-642-14561-2
BibTeXDavid Navarre, Philippe Palanque, Celia Martinie De Almeida, Sandra Steere
Formal Description Techniques for Human-Machine Interfaces – Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems
In : Handbook of Human-Machine Interaction, A Human-Centered Approach. Guy A. Boy (Eds.) , Ashgate Publishing, (on line), April 2011.
Une approche à base de modèles synergiques pour la prise en compte simultanée de l’utilisabilité, la fiabilité et l’opérabilité des systèmes interactifs critiques
Master’s Thesis, Université Paul Sabatier, December 2011.
Abstract URL : http://thesesups.ups-tlse.fr/1509/1/2011TOU30254.pdf
BibTeX
Celia Martinie De Almeida, Philippe Palanque, José Luis Silva, David Navarre
Properties verification of interactive systems by tool-supported analysis of its formal specification
Diffusion scientifique. April 2013.
URL : http://www.irit.fr/~Celia.Martinie-De-Almeida/Technical_report_on_properties_verification_April_2013.pdf
BibTeX